Relations between models and reality

	Consider the Missionaries and Cannibals problem.  The problem
can be solved by searching a tree of 32 states if we represent a
situation by giving the number of missionaries, cannibals and boats
on the starting bank of the river.  The state graph is shown in figure
1.